module MaybeCPS where

isNothing :: Maybe a -> Bool
isNothing Nothing = True
isNothing _ = False

isJust :: Maybe a -> Bool
isJust = not. isNothing

newtype MaybeCPS r a = MaybeCPS {
    runMaybeCPS :: (a -> r) -> r -> r
}
